试说关系推理的正确形式及其符号化

仅有推理公式而没有明确的关系性质，推理无法进行；关系性质虽然确定，却用文字加以说明，推理就是非形式的。怎样摆脱这种两难困境？出路就在于正确揭示关系推理的结构关系并将之符号化。这对完善普通逻辑或关系理论有重要意义。     

层次式网络管理系统故障管理子系统研究与实现

计算机网络日益复杂和异构化，迫切需要提高可靠、跨平台的网络管理系统保证网络稳定、高效运行。分析了传统网络管理系统的不足，提出了一层次分布式网络管理系统故障管理算法，并讨论了算法的性能。最后采用ＣＯＲＢＡ，Ｗｅｂ和Ｊａｖａ技术实现了该算法。     

基于先验知识的降秩STAP方法研究

提出了一种基于杂波先验知识的降秩(RR)空时自适应处理(STAP)方法——KA-RR法,该方法首先利用载机平台运动参数、雷达系统参数及地形、地貌参数等先验知识构建机载雷达杂波模型,然后通过该模型对机载雷达杂波数据进行预白化处理,最后利用降秩STAP方法自适应抑制剩余杂波。仿真结果表明,相对于传统的降秩STAP方法,KA-RR方法具有更好的杂波抑制性能和更强的鲁棒性。     

都市圈石漠化区域采石场的生态恢复方法与措施探讨

都市圈石漠化区域采石场往往由于过度开发且未采取有效的恢复措施,致使生态环境破坏严重,严重影响了都市圈的生态环境和经济发展.在分析都市圈石漠化区域采石场生态恢复特点的基础上,论述了其生态恢复的基本方法及工程技术措施,指出都市圈石漠化区域采石场生态恢复应依据都市圈发展总体规划和景观生态学、景观建筑学及美学原理,采用开发性治理方法,综合运用多种工程技术措施恢复植被、整治水土流失并进行景观再造,从而满足都市圈对于景观的要求,提高土地利用价值,促进都市圈社会经济发展和城市生态环境建设.     

液体火箭发动机涡轮泵健康监控系统

为了提高液体火箭发动机涡轮泵的安全性,降低其故障带来的破坏性,设计了某型液体火箭发动机涡轮泵健康监控系统(TP HMS),工程实现了TP HMS的测试硬件子系统、实时故障检测子系统、试车后数据分析子系统和实时数据库支持子系统等,讨论和分析了TP HMS的功能和执行流程,然后利用历史试车数据与转子试验平台数据对TP HMS中的多特征参量自适应阈值综合决策算法(MATA)进行了离线和实时在线验证;利用自适应时频谱对测试数据作进一步的分析。结果表明,MATA没有发生误检测情况,并具有实时故障检测的能力;自适应时频谱能有效抑制时频交叉项的干扰,准确给出故障信号的时间和频率信息。因此,TP HMS适合于液体火箭发动机涡轮泵健康状态监控。     

聚二甲基硅烷高压合成聚碳硅烷的组成与结构分析

以聚二甲基硅烷(PDMS)为原料,在高压釜内450℃下反应6h,制备了聚碳硅烷(PCS)先驱体。对其组成及结构进行了表征,推测了PCS的大致结构模型。研究表明,PCS分子包含Si CH3、Si CH2 Si、Si H组成的SiC4、SiC3H等结构单元,实验式为SiC1.87H7.13O0.03。与常压高温裂解制备的软化点相近的PCS相比,二者的元素组成基本一致,高压合成的PCS具有较高的分子量和硅氢含量,但支化度略高。     

故障检查间隔期的简化计算方法

建立了定期故障检查策略下系统的可用度模型,在满足系统可用度要求的条件下,可以使用该模型确定故障检查工作的间隔期。为了简化故障检查间隔期的计算,给出了故障时间服从指数分布时,故障检查间隔期的上、下限计算公式及应用示例。     

乘员在高温、噪声环境下持续作业时的生理及心理变化

通过对某型坦克乘员在高温、噪声和近似实战条件下持续作业时的生理和心理变化情况进行观察测定和研究,初步探索了不同阶段的变化规律和有关的生理和心理参数值,这对今后制定我军卫生学评价监督标准,以及制定科学可行的作训方案,提供了有价值的参考资料.     

现代条件下的价值创造与价值分配

从现代条件下劳动领域的扩展和劳动形态的变化出发 ,说明价值创造和价值分配的内在联系 ,同时指出 ,价值分配又不完全取决于价值创造 ,还受产权制度等因素的约束 ,并联系我国目前分配制度改革的实践 ,为收入理论创新寻找突破口     

一种基于电压空间矢量控制的三相静止变流器设计

提出了一种以三相电压的合成电压空间矢量为控制对象的三相静止变流器的设计.该设计的优点在于,在三相负载不对称的情况下,能够保持三相电压的平衡.最后给出了该系统基于DSP的实现.试验结果验证了该方案的可行性.